MATINEE: A Quality-of-Service-aware Event Semantics Modeling Language

نویسندگان

  • Andreas M. Wahl
  • Thomas Fischer
  • Richard Lenz
چکیده

Distributed event-based systems have risen in significance over the last few years across many different application domains. Still, the configuration of available communication middleware solutions remains a tedious task driven by technical terms and manual performance optimization. We present the Metis Quality-ofservice-aware Semantics Modeling Language (MATINEE), a domain-specific language for modeling the Quality-ofService (QoS) requirements and semantic properties of event-based systems in the terminology of the application domain. No knowledge of the technical terms of the underlying middleware solution is required by the application developers to conduct the configuration. Embedded in a novel configuration methodology provided by the Massive Multiuser Event InfraStructure (Metis) project, MATINEE specifications are interpreted to automatically derive optimal middleware configurations without the need for manual optimization. The purpose of MATINEE is to provide a flexible language that can easily be adapted to different application domains. We focus on the language specification of MATINEE, briefly sketch our configuration methodology and present related language approaches.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Event Structure Semantics of Orc

One challenge in developing wide-area distributed applications is analyzing the system’s non-functional properties, including timing constraints and internal dependencies that can affect quality of service. Analysis of non-functional properties requires a precise formal semantics for the language in which the system is written; but labelled transition systems and trace semantics, which are comm...

متن کامل

Simulation Modeling and Analysis of In-Flight Service Operations for Commercial Passenger Flights

Nowadays, in-flight comfort has become an essential characteristic to survive in domestic airline businesses. Air hostesses’ quality of service and response time to customer demand plays a vital role in enhancing quality of the flight experience and passenger satisfaction. However, additional requirements on air hostess expose them to fatigue which could eventually result in job dissatisfac...

متن کامل

Event Structure Semantics of Orc Sidney Rosario , David Kitchin , Albert Benveniste

One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of service. Analysis of non-functional properties requires a precise formal semantics for the language in which the system is written; but labelled transition systems and trace semantics, which are comm...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014